An Inconsistency in the Simulation of Bose-Einstein Correlations

We show that the formalism commonly used to implement Bose-Einstein correlations in Monte-Carlo simulations can lead to values of the two-particle correlator significantly smaller than unity, in the case of sources with strong position-momentum correlations. This is more pronounced when the phase space of the emitted particles is strongly reduced by experimental acceptance or kinematic analysis selections. It is inconsistent with general principles according to which the Bose-Einstein correlator is larger than unity. This inconsistency seems to be rooted in the fact that quantum mechanical localization properties are not taken into account properly.Comment: 10 pages, LaTe

Cluster Algorithm for a Solid-On-Solid Model with Constraints

We adapt the VMR (valleys-to-mountains reflections) algorithm, originally devised by us for simulations of SOS models, to the BCSOS model. It is the first time that a cluster algorithm is used for a model with constraints. The performance of this new algorithm is studied in detail in both phases of the model, including a finite size scaling analysis of the autocorrelations.Comment: 10 pages, 3 figures appended as ps-file

A decision support system for fostering smart energy efficient districts

The role of ICT is becoming prominent in tackling some of the urban societal challenges such as energy wastage and increasing carbon emissions. In this context, the concept of DAREED aims to deliver an integrated decision support system (DSS) to drive energy efficiency and low carbon activities at both a building and district level. The main aim of this paper is to present the technical concept of the Best Practices recommendation component of the DAREED system. This component seeks to compare and identify existing best practices to recommend practical actions to various stakeholders (e.g. building managers, citizens) in order to improve energy performance considering the global needs of a building. This paper also discusses the context of the three field trial sites (based in UK, Spain and Italy) in which the DAREED platform along with the best practices tool is to be tested and validated.This work evolved in the context of the project DAREED (Decision support Advisor for innovative business models and useR engagement for smart Energy Efficient Districts), www.dareed.eu, a project cofunded by the EC within FP7, Grant agreement no: 609082

A General Framework for Sound and Complete Floyd-Hoare Logics

This paper presents an abstraction of Hoare logic to traced symmetric monoidal categories, a very general framework for the theory of systems. Our abstraction is based on a traced monoidal functor from an arbitrary traced monoidal category into the category of pre-orders and monotone relations. We give several examples of how our theory generalises usual Hoare logics (partial correctness of while programs, partial correctness of pointer programs), and provide some case studies on how it can be used to develop new Hoare logics (run-time analysis of while programs and stream circuits).Comment: 27 page

Noise Rectification and Fluctuations of an Asymmetric Inelastic Piston

We consider a massive inelastic piston, whose opposite faces have different coefficients of restitution, moving under the action of an infinitely dilute gas of hard disks maintained at a fixed temperature. The dynamics of the piston is Markovian and obeys a continuous Master Equation: however, the asymmetry of restitution coefficients induces a violation of detailed balance and a net drift of the piston, as in a Brownian ratchet. Numerical investigations of such non-equilibrium stationary state show that the velocity fluctuations of the piston are symmetric around the mean value only in the limit of large piston mass, while they are strongly asymmetric in the opposite limit. Only taking into account such an asymmetry, i.e. including a third parameter in addition to the mean and the variance of the velocity distribution, it is possible to obtain a satisfactory analytical prediction for the ratchet drift velocity.Comment: 6 pages, 5 figures, to be published on Europhysics Letters; some references have been adde

A Unified Picture of the FIP and Inverse FIP Effects

We discuss models for coronal abundance anomalies observed in the coronae of the sun and other late-type stars following a scenario first introduced by Schwadron, Fisk & Zurbuchen of the interaction of waves at loop footpoints with the partially neutral gas. Instead of considering wave heating of ions in this location, we explore the effects on the upper chromospheric plasma of the wave ponderomotive forces. These can arise as upward propagating waves from the chromosphere transmit or reflect upon reaching the chromosphere-corona boundary, and are in large part determined by the properties of the coronal loop above. Our scenario has the advantage that for realistic wave energy densities, both positive and negative changes in the abundance of ionized species compared to neutrals can result, allowing both FIP and Inverse FIP effects to come out of the model. We discuss how variations in model parameters can account for essentially all of the abundance anomalies observed in solar spectra. Expected variations with stellar spectral type are also qualitatively consistent with observations of the FIP effect in stellar coronae.Comment: 25 pages, 4 figures, submitted to Ap

The generalization of the Regge-Wheeler equation for self-gravitating matter fields

It is shown that the dynamical evolution of perturbations on a static spacetime is governed by a standard pulsation equation for the extrinsic curvature tensor. The centerpiece of the pulsation equation is a wave operator whose spatial part is manifestly self-adjoint. In contrast to metric formulations, the curvature-based approach to gravitational perturbation theory generalizes in a natural way to self-gravitating matter fields. For a certain relevant subspace of perturbations the pulsation operator is symmetric with respect to a positive inner product and therefore allows spectral theory to be applied. In particular, this is the case for odd-parity perturbations of spherically symmetric background configurations. As an example, the pulsation equations for self-gravitating, non-Abelian gauge fields are explicitly shown to be symmetric in the gravitational, the Yang Mills, and the off-diagonal sector.Comment: 4 pages, revtex, no figure

The influence of the Hall force on the vortex dynamics in type II superconductors

The effect of the Hall force on the pinning of vortices in type II superconductors is considered. A field theoretic formulation of the pinning problem allows a non-perturbative treatment of the influence of quenched disorder. A self-consistent theory is constructed using the diagrammatic functional method for the effective action, and an expression for the pinning force for independent vortices as well as vortex lattices is obtained. We find that the pinning force for a single vortex is suppressed by the Hall force at low temperatures while it is increased at high temperatures. The effect of the Hall force is more pronounced on a single vortex than on a vortex lattice. The results of the self-consistent theory are shown to be in good agreement with numerical simulations.Comment: 9 pages, 4 figures, published in Physical Review

Inflation as a probe of new physics

In this paper we consider inflation as a probe of new physics near the string or Planck scale. We discuss how new physics can be captured by the choice of vacuum, and how this leads to modifications of the primordial spectrum as well as the way in which the universe expands during inflation. Provided there is a large number of fields contributing to the vacuum energy -- as typically is expected in string theory -- we will argue that both types of effects can be present simultaneously and be of observational relevance. Our conclusion is that the ambiguity in choice of vacuum is an interesting new parameter in serious model building.Comment: 14 page

Direct Measurement of the Top Quark Charge at Hadron Colliders

We consider photon radiation in tbar-t events at the upgraded Fermilab Tevatron and the CERN Large Hadron Collider (LHC) as a tool to measure the electric charge of the top quark. We analyze the contributions of tbar-t-gamma production and radiative top quark decays to p-p, pbar-p -> gamma l^+/- nu bbar-b jj, assuming that both b-quarks are tagged. With 20~fb^{-1} at the Tevatron, the possibility that the ``top quark'' discovered in Run I is actually an exotic charge -4/3 quark can be ruled out at the 95% confidence level. At the LHC, it will be possible to determine the charge of the top quark with an accuracy of about 10%.Comment: Revtex, 24 pages, 2 tables, 9 figure